Let $\bar{E}$ be the norm completion of $E$, which is a Banach space. Then we can consider $E$ as a dense linear subspace of $\bar{E}$, where the subspace topology and the norm topology on $E$ coincide. In particular, since this topology is homeomorphic to $F$, it is completely metrizable, so $E$ is a $G_\delta$ in $\bar{E}$ (Kechris, Classical Descriptive Set Theory, Theorem 3.11). Being As a dense $G_\delta$, by the Baire category theoremin particular $E$ is nonmeagercomeager in $\bar{E}$. But by the Pettis lemma If (Kechris Theorem 9.9)$x \in \bar{E} \setminus E$, any subspacethen $E, E+x$ are disjoint comeager subsets of the Banach space $\bar{E}$, which is nonmeager and hasabsurd by the Baire property (which a $G_\delta$ certainly does) must be $\bar{E}$ itselfcategory theorem. Since So $E = \bar{E}$ and thus the norm on $E$ is its own norm completion, its norm must be complete.
I think I did not use separability anywhere.