Let's write $R$ for $\mathbb{F}_3[[T]]$ and $K$ for its fraction field. Suppose $t \in R \setminus \mathbb{F}_3$ satisfies $\sigma(t)=t$. I claim that $\sigma$ then has finite order.
Suppose first that the valuation $k$ of $t$ is coprime to $3$. Then I claim that the order of $\sigma$ divides $k$. Indeed, there exists (after possibly taking a base extension of the ground field $\mathbb{F}_3$, as Michael Zieve pointed out in a comment) an automorphism $\alpha$ of $R$ that maps $t$ to $T^k$. So then $\alpha(\sigma(\alpha^{-1}(T)))=\zeta T$ for some $k$-th root of unity $\zeta$, hence $\sigma$ has order dividing $k$.
For the general case, I first want to prove that if $K_0$ is the topological closure of $\mathbb{F}_3(t)$ in $K$, then $K$ is of finite degree over $K_0$. Since $K_0 = \mathbb{F}_3((t))$ is a locally compact normed field (wrt the absolute value induced by that on $K$), and $K=\mathbb{F}_3((T))$ is a locally compact normed $K_0$-vector space, we have that $K$ must have finite dimension over $K_0$ (see e.g. Lemma 2 in these notes by Pete Clark). But then $T$ is the zero of a non-constant polynomial $f \in K_0[X]$, and hence any automorphism of $R$ is determined by how it acts on the roots of $f$. In particular, $\sigma$ has finite order.
Conversely, if $\sigma$ has finite order $k$, then symmetric expressions in $T$, $\sigma(T)$, $\ldots$, $\sigma^{(k-1)}(T)$ should give plenty of power series on which $\sigma$ acts trivially.