Towards tableau-based decision procedures for non-well-founded fragments of set theory