I normally tip around 20%, for excellent service, at regular meals, but I generally tip 15%, sometimes a little less, at buffet restaurants.
I would only tip extra at a buffet if I was ordering adult beverages or if the server did something extraordinary.