Tipping is not mandatory. You only do it if you find the service and food nice, and you normally tip 10% if you have had a nice experience. The amount depends on how much the bill comes to. Some people round the amount up by 5-10%, some do not tip at all.