As a statement of how things should be, I agree. But it is not true in most states. When servers are paid the same as the minimum wage there is no separate tipped wage. The words you are looking for in a particular state's labor laws are "tipped wage" or "tip credit". There are many states where the employer can count the expected tips as part of the wage they pay. So, they pay the employee something like $2.13.

https://www.dol.gov/agencies/whd/state/minimum-wage/tipped