The proof complexity of analytic and clausal tableaux