Axiom pinpointing in general tableaux