Adding Context to Tableaux for DLs