Hello, Marc!
Great question!
Pepper Market, at Disney's Coronado Springs Resort, is considered a Quick-Service restaurant, so it will count as a "counter service meal." (Great deal, isn't it?) An 18% gratuity is added onto Table-Service bills when there is a party of 6 or more.
A great resource for the categorization of restaurants is
the Disney Dining Plan PDF, which I've linked here. You can also see which restaurants serve breakfast, lunch or dinner, in case you're wondering where to find a really great Quick-Service breakfast, too! (Incidentally, Pepper Market may be one of those great breakfast places...breakfast burrito, anyone...?)
Please send us any additional questions you may have as you plan your upcoming trip to Walt Disney World! We love to help!