Generally there's no need to tip. But if you're a frequent customer and/or the restaurant provided something special (e.g. a no-cost substitution or extras, etc.) then a small cash tip might be appropriate. Ironically this is closer to the original purpose of tipping than what tipping at sit-down restaurants has now been bastardized into.
veni, vidi, Visa