Yes, thus higher tippers subsidize lower tippers by reducing the list price of goods.
If tipping didn’t exist and were instead embedded in wages, the employer would just raise the list prices commensurately.
There’s a fair argument to be made that restaurant wages would decline in aggregate without tipping though. Certainly there would be both winners and losers