Tarski finiteness