Automata, Tableaus and a Reduction Theorem for Fixpoint Calculi in Arbitrary Complete Lattices