A Fast Saturation Strategy for Set-Theoretic Tableaux