I am considering two risky assets following the usual correlated GBM given by
$$\frac{\mathrm{d}S^{(i)}_t}{S^{(i)}_t}=\mu_i\mathrm{d}t+\sigma_i\mathrm{d}W^{(i)}_t,\quad i\in\{1,2\}$$
with
$$\mathrm{d}W^{(1)}_t\mathrm{d}W^{(2)}_t=\rho\mathrm{d}t.$$
Here's my current understanding: I know that in general, in a complete and no-arbitrage market setting, if I use $S^{(1)}_t$ as my numéraire, I can develop a measure $\mathbb{Q}_1$ such that $\tilde{S}^{(2)}_t=\frac{S^{(2)}_t}{S^{(1)}_t}$ is a martingale. By Girsanov's theorem, defining $\tilde{\sigma}=\sqrt{\sigma_1+\sigma_2-2\rho\sigma_1\sigma_2}$ and $\tilde{W}_t^{\mathbb{Q}_1}=\frac1{\tilde{\sigma}}\left(\sigma_2W^{(2)}_t-\sigma_1W^{(1)}_t\right)$, I obtain the driftless equation
$$\frac{\mathrm{d}\tilde{S}^{(2)}_t}{\tilde{S}^{(2)}_t}=\tilde{\sigma}\mathrm{d}\tilde{W}_t^{\mathbb{Q}_1}.$$
I realise Margrabe’s formula is the end goal, but some texts (one example p. 35) I have read include a risk-free asset or bank account. Notably, to obtain the above equations, they switch from the physical measure $\mathbb{P}$ to the risk-free measure $\mathbb{Q}$ first, then to the measure $\mathbb{Q}_1$. Some others claim that no bank account must be enforced. After reading these texts, I am now confused — if there is no such risk-free asset/account s.t. all the money must be invested in these risky assets, then:
What do I count as my risk-free interest rate (if any, given that I am working with two pure risky assets) under this numéraire?
Is it correct to claim that I cannot price all payoff types because the market is not complete due to lack of riskless asset, but I am I able to price, say, a spread option because it just so happens we can hedge it? If so, why are we even able to use this change of numéraire in the first place? How are we able to detect whether a particular type of payoff can be hedged or not? Is $|\rho|<1$ a sufficient condition for completeness of the market? What conditions are necessary and/or sufficient?
Is it possible to construct a riskless process $\mathrm{d}B_t=r_tB_t\mathrm{d}t$ via a self-financing portfolio replicated by the two assets? I have a feeling it is impossible in incomplete markets.