Not necessarily. Locals don’t typically tip more than about 5% when service is fair to good, but a little extra never hurts if you feel you’ve been served well and/or treated well. Like most of Europe, servers’ wages don’t depend on tips and so a tip is extra.