> It’s only true if you assert that all possible states at a branch are added to the set

That is generally how "multiverses"/branching timelines are handled, yes.