Theoretical Saturation: How Many Traces Is Enough?