Let $T_0, T_1, T_2, \dots$ be an infinite sequence of tiles, fixed from now on. If there is no finite obstruction to placing the tiles (with no overlap except at boundary points) in the $1\times 1$ square, then all the $T_i$ can be placed with no overlap in the unit square. One kind of finite obstruction is if the sum of the areas of the tiles is greater than $1$. That too is a finite obstruction, since some finite sum of the areas would be greater than $1$.
The proof we sketch below may look a little complicated, but it really is a routine Compactness Theorem argument. Someone familiar with the machinery of nets can surely come up with a more orthodox proof.
We think of $T_n$ as an ordered pair $(a_n,b_n)$ where $a_n$ and $b_n$ are non-negative reals. Given a sequence of tiles, we first describe what we mean by a tiling of the square with opposite vertices at $(0,0)$ and $(1,1)$. A tiling using tiles $T_0,T_1,T_2,\dots$ is a special relation $C(n,x,y,\theta)$ where $n$ is a non-negative integer, and $x$, $y$, and $\theta$ are reals.
Informally $C(n, x,y,\theta)$ holds if $(x,y)$ is the ordered pair that tells us the location of the bottom left corner of tile $T_n$, and $\theta$ is the angle that $T_n$ is rotated. But from now on, we look only at tilings where $\theta=0$ or $\theta=\pi/2$, so horizontal-vertical tilings.
Consider the theory $T$ whose language has a constant symbol for every real number, an $n$-ary relation symbol for every subset of $\mathbb{R}^n$, and an $n$-ary function symbol for every function from $\mathbb{R}^n$ to $\mathbb{R}$, and an additional special $4$-ary predicate symbol $C$. For axioms of $T$ we first of all throw in all sentences of the language that are true in the reals, when our constant symbols, predicate symbols (except $C$) and functions symbols are interpreted in the natural way. Of course we do not know what these axioms are, but that doesn't matter.
Now for every integer $n$, we throw in a special axiom $A_n$ that says that for $i=0, 1, \dots, n$, there are $x_i, y_i, \theta_i$ such that $C(i,x_i,y_i,\theta_i)$ and any two tiles intersect at most on boundary points.
For our fixed sequence $T_0,T_1,\dots$ of tiles, the "non-intersecting" condition" is an uncomplicated set of inequalities. Note that we have added an infinite number of axioms.
By the "no finite obstruction" assumption, any finite subset of our set of axioms has a model, and hence by the Compactness Theorem, the whole theory $T$ has a model $\mathbb{M}$. For every non-negative integers $i$, this model assigns location say $(a_i,b_i)$ to the bottom left corner of the $i$-th tile, where (in the model) $0 \le a_i,b_i \le 1$. There is the minor complication that we have no assurance that we are in the standard model (essentially the reals). That is easily fixed: replace $a_i$, $y_i$ by the standard parts of $a_i$, $b_i$, and we obtain an orthodox "no overlap" tiling of (part of) the unit square.
Comments: At a certain stage, we restricted attention to tilings in which the rectangles had sides parallel to the sides of the square. This is because we do not have an immediate proof that if angles of rotation are replaced by their standard parts, we obtain an ordinary tiling.
Note that we have not proved that if the sum of the areas of the $T_i$ is $1$, and there is no finite obstruction, then all points of the unit square get covered. A measure $0$ subset might not be.
