Tableau-based Revision for Expressive Description Logics