Is it mandatory to tip in Czech Republic? I went to a restaurant and in the end I was shown a ticket with the bill and an handwritten paper with extra 10%.

I read somewhere that tipping is usual but the service was so bad that I was decided not to tip. 

What is the general practice?