Text this: Tableaux for metainferential logics.