This document describes a generic tableau prover that has been integrated with the Isabelle proof assistant. The prover uses free-variable tableau with iterative deepening and can handle higher-order logic. It translates Isabelle goals and proofs into a format the prover can handle, such as using standard Skolemization instead of dual Skolemization. Evaluation shows it outperforms an existing first-order prover in Isabelle on many benchmarks, taking 10 times less time for some proofs, while remaining compatible with Isabelle's tools. Its limitations include difficulty proving some set theory problems.