I would think that whatever is tipped on top of anything that may be included will also be shared by the same people you mention.
I think that would be at the discretion of the waiter.
FWIW, we tipped an additional amount but I'm not sure how much it was because my old man handled it. I felt the experience from food quality to especially the service was beyond outstanding. Definitely warranted a nice tip.