That's the pitfall of having a job so heavily based around tips. They're not mandatory (automatically added to the bill) in most places, and there is no law regarding tips. I think it's wrong to leave without giving a tip, but I don't know if I'd call it theft. Certainly not legally, anyway.