burnisher

noun

1. a person who burnishes.
2. a tool, usually with a smooth, slightly convex head, used for polishing, as in dentistry.

n.

1. An instrument for smoothing and polishing the surface or edge of a dental restoration.