Taxonomy filter exposed to user that dynamically only includes terms attached to currently published content
You should have a look at Views Selective Exposed Filters, part of the Views Hacks module. It will limit the taxonomy terms to those in your view's result set.