Hi,
I'm not sure that is correct. In the rules (version 1.6, page 14) it is stated that:
The order of resolution for effects surrounding the dealing and taking of damage are as follows:
1. Abilities that trigger “when [character] would deal/be dealt any amount of damage...”
2. Tough status cards.
3. Abilities that trigger “when [character] would take any amount of damage...”
4. Abilities that trigger “when [character] takes any amount of damage...”
5. Placing of damage on the character.
6. Abilities that trigger “when [character] would be defeated...”
7. Abilities that trigger “when [character] is defeated...”
8. "When defeated" abilities.
9. Discarding of a defeated character.
10. Abilities that trigger “after [character] deals/is dealt/takes any amount of damage...” or “after [character] defeats/is defeated...”
Then, in page 25 it says:
LEAVES PL AY
The phrase “leaves play” refers to any time when a card transitions from an in-play area to an out-of-play area. Defeating a character, discarding a card from play, placing a card in the victory display, or removing a card from the game are all different means by which a card can leave play.
Then, leaving play and being defeated are the same and happen at the same time (step 10) and we should be able to decide in which order to resolve them.