Are Resto Tips Divided Amongst Staff?

SF and Bay Area peeps:
When you tip at a restaurant, does it get pooled then divided to all waiters and staff at the back (dishwashers, etc)? And who decides how much to divide?