A tableau system for the predicate logic with countable conjunctions and disjunctions is presented and the completeness of the set of rules proved. These tableaux are then used to prove a slightly more general form of the Malitz interpolation theorem.