The complement is always at most countable. Assume otherwise. Let $\{t_{\alpha}\mid \alpha<\omega_1\}$ (with $t_{\alpha}\not=t_{\beta}$ for $\alpha\not=\beta$) be an uncountable subset of $T$ consisting entirely of points which are not condensation points. Then we can choose, for each $\alpha<\omega_1$, a value $n(\alpha)\in\mathbb{N}\setminus\{0\}$ such that $[t_{\alpha},t_{\alpha}+\frac{1}{n(\alpha)})\cap T$ is countable. At least one of the fibers of the function $\omega_1\rightarrow\mathbb{N},\alpha\mapsto n(\alpha),$ is uncountable, so we can assume w.l.o.g. that there exists $n\in\mathbb{N}\setminus\{0\}$ such that for all $\alpha<\omega_1$, $[t_{\alpha},t_{\alpha}+\frac{1}{n})\cap T$ is countable.

I now claim that for each $\alpha<\omega_1$, there are only countably many $\beta<\omega_1$ such that $[t_{\alpha},t_{\alpha}+\frac{1}{n})\cap[t_{\beta},t_{\beta}+\frac{1}{n})\not=\emptyset$. This leads to a contradiction, since it implies that even for any countable subset $M\subseteq\omega_1$, the set of all $\beta<\omega_1$ such that for at least one $\alpha\in M$, we have $[t_{\alpha},t_{\alpha}+\frac{1}{n})\cap[t_{\beta},t_{\beta}+\frac{1}{n})\not=\emptyset$, is countable, which would imply that $[0,1]$ has a countably infinite family of pairwise disjoint subsets of the form $[x,x+\frac{1}{n})$.

Now to show the claim, assume otherwise. Denote the set of all $\beta<\omega_1$ such that the intersection is nonempty by $X$. For all $\beta\in X$, we either have $t_{\beta}\in[t_{\alpha},t_{\alpha}+\frac{1}{n})$ (which happens only countably often) or $t_{\beta}\in(t_{\alpha}-\frac{1}{n},t_{\alpha})$. Define $t:=\mathrm{inf}\{t_{\beta}\mid (\beta\in X)\wedge(t_{\beta}<t_{\alpha})\}$. Then $t\in T$, and $[t,t+\frac{1}{n})\cap T$ is still countable (because it is a subset of the union of the $[t_{\beta_k},t_{\beta_k}+\frac{1}{n})\cap T$ for some sequence $(t_{\beta_k})_{k\in\mathbb{N}}$ with values in $\{t_{\beta}\mid \beta\in X\}$ converging to $t$ from above), so we must have $t>t_{\alpha}-\frac{1}{n}$ and $(t_{\alpha}-\frac{1}{n},t)\cap\{t_{\beta}\mid \beta\in X\}$ is uncountable, in particular nonempty. But for any $t_{\beta}$ from this set, we have $t_{\beta}<t$, although by definition of $t$, $t\leq t_{\beta}$, a contradiction.