Edit: Can complete hold even if $d < u \le 1+R$ or $1+R \le d < u$ ?
In Tomas Björk's Arbitrage Theory in Continuous Time, there exists this proposition
It seems that to show that the model is complete, we must show that the claims are reachable, i.e. we must find replicating portfolios for each claim.
Which part of finding the replicating portfolio makes use of the assumption, where I understand the assumption is equivalent to $d < 1+R < u$ (or $d \le 1+R \le u$, but $d<u$)? All I see so far is the $d<u$, but that's nothing really special: of course the stock price $u$ if it would go up from its current price should be higher than the stock price $d$ if it would go down from the its current price.