I can’t recall any restaurant I’ve ever eaten at in the world were a tip was mandatory. If you eat with a large party of several people, usually at least six or eight people, then they will often add a service charge to the bill, that’s the only thing I’ve seen that comes close to what you’re suggesting.